bcaa9e49833de8c3f2e066b5a82404025576d136,src/main/java/org/basex/index/value/UpdatableDiskValues.java,UpdatableDiskValues,appendIds,#number#number[]#number[]#,150

Before Change


    idxr.write5(ix * 5L, newpos);

    // check if key is cached and update the cache entry
    final int cacheid = cache.id(key);
    if(cacheid > 0)
      cache.update(cacheid, ids.length, newpos + Num.length(ids.length));
  }

  @Override

After Change


    idxr.write5(ix * 5L, newpos);

    // update the cache entry
    cache.add(key, ids.length, newpos + Num.length(ids.length));
  }

  @Override